大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Dave Gibbons 著 的图书(共111本)

Mathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings

0
索取号：
作者：Gibbons、 Jeremy.、Nogueira、 Pablo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

The Future Internet [electronic resource] : Future Internet Assembly 2011: Achievements and Technological Promises

0
索取号：
作者：Domingue、 John.、Galis、 Alex.、Gavras、 Anastasius.、Zahariadis、 Theodore.、Lambert、 Dave.、Cleary、 Frances.、Daras、 Petros.、Krco、 Srdjan.、M眉ller、 Henning.、Li、 Man-Sze.、Schaffers、 Hans.、Lotz、 Volkmar.、Alvarez、 Federico.、Stiller、 Burkhard.、Karnouskos、 Stamatis.、Avessta、 Susanna.、Nilsson、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Coordination Models and Languages [electronic resource] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

0
索取号：
作者：Clarke、 Dave.、Agha、 Gul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Teaching Formal Methods [electronic resource] : Second International Conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings

0
索取号：
作者：Gibbons、 Jeremy.、Oliveira、 Jos茅 Nuno.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Handbook of Digital Homecare [electronic resource]

0
索取号：
作者：Yogesan、 Kanagasingam.、Bos、 Lodewijk.、Brett、 Peter.、Gibbons、 Michael Christopher.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Deep Space Craft [electronic resource] : An Overview of Interplanetary Flight

0
索取号：
作者：Doody、 Dave.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Behavioral Neurobiology of the Endocannabinoid System [electronic resource]

0
索取号：
作者：Kendall、 Dave.、Alexander、 Stephen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Datatype-Generic Programming [electronic resource] : International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures

0
索取号：
作者：Backhouse、 Roland.、Gibbons、 Jeremy.、Hinze、 Ralf.、Jeuring、 Johan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Integrated Formal Methods [electronic resource] : 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings

0
索取号：
作者：Davies、 Jim.、Gibbons、 Jeremy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Service Availability [electronic resource] : Third International Service Availability Symposium, ISAS 2006, Helsinki, Finland, May 15-16, 2006. Revised Selected Papers

0
索取号：
作者：Penkler、 Dave.、Reitenspiess、 Manfred.、Tam、 Francis.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

ECOOP 2006-Object-Oriented Programming [electronic resource] : 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings

0
索取号：
作者：Thomas、 Dave.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Diagrammatic Representation and Inference [electronic resource] : 4th International Conference, Diagrams 2006, Stanford, CA, USA, June 28-30, 2006. Proceedings

0
索取号：
作者：Barker-Plummer、 Dave.、Cox、 Richard.、Swoboda、 Nik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Distributed Computing in Sensor Systems [electronic resource] : Second IEEE International Conference, DCOSS 2006, San Francisco, CA, USA, June 18-20, 2006. Proceedings

0
索取号：
作者：Gibbons、 Phillip B.、Abdelzaher、 Tarek.、Aspnes、 James.、Rao、 Ramesh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Balanced Website Design [electronic resource] : Optimising Aesthetics, Usability and Purpose

0
索取号：
作者：Lawrence、 Dave.、Tavakol、 Soheyla.、SpringerLink (Online service)、
出版社：London : Springer London, 2007.

Fieldwork for Design [electronic resource] : Theory and Practice

0
索取号：
作者：Randall、 Dave.、Harper、 Richard.、Rouncefield、 Mark.、SpringerLink (Online service)、
出版社：London : Springer London, 2007.

Automating Business Modelling [electronic resource] : A Guide to Using Logic to Represent Informal Methods and Support Reasoning

0
索取号：
作者：Chen-Burger、 Yun-Heh.、Robertson、 Dave.、SpringerLink (Online service)、
出版社：London : Springer London, 2005.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院